When ACL2 is used to model the operational semantics of computing machines, machine states are typically represented by terms recording the contents of the state components. When models are realistic and are stepped through thousands of machine cycles, these terms can grow quite large and the cost of simplifying them on each step grows. In this paper we describe an ACL2 book that uses HIDE and ...

Certain functions in groupware affect more than one user who might have conflicting interests. To describe conflicts arising from the use of groupware functions, we distinguish the roles of the activator and the user affected. As technical means to lessen these conflicts, we develop two metafunctions: visibility of use and negotiability. We expect that these metafunctions reduce role-based conf...

This study aims to investigate the power domination strategy of Joko Widodo’s Job Creation Law speech on October 9th 2020. The current utilizes Critical Discourse Analysis (CDA) model unmask through language use. Ideational metafunctions SFL is used in this research as tool for analyzing textual dimension and further investigation discursive practice. results prove existence domination. From in...

This study is interested in the persuasive and compelling modalities used by advertisers political campaign advertising images, applied to persuade impact their audiences. In this respect, research focuses on two campaigns posters, chosen a non-random sampling procedure, commissioned Republic of Turkey current ruling party, main opposition, during lead-up 2023 General Elections Turkey. endeavou...

This paper aims to explore the linguistic and visual choices used by writer illustrator in order create meaning fantasy picturebook One Dad, Two Dads, Brown Blue Dads (1994), written Johnny Valentine illustrated Melody Sarecky, which features a gay family. The analytical tools employed this study deconstruct meanings said are Kress van Leeuwen’s (2006) Visual Social Semiotics Painter et al.’s (...

This study examined the representation of educational values in Clouds as presented by four main characters, which are Zach, Amy, Sammy, and Zach's mother utilizing three metafunctions concepts Kress Leeuwen (2006) theory education value Linda Richard Elmubarok (2019). used a qualitative descriptive method. research found that there 10 out 12 values. The researcher did not find purity respect c...

This study drew upon Kress and Van Leeuwen’s (2006, [1996]) visual grammar and Van Leeuwen’s (2008) social semiotic model to interrogate ways through which social actors of different races are visually and textually represented in four award-winning English-learning software packages.  The analysis was based on narrative actional/reactional processes at the ideational level; mood, perspective, ...

Systemic Functional Linguistics provides a social perspective to language study and views language as a social semiotic resource people use to accomplish their purposes by expressing meanings in context. This paper aims to discuss the semantic aspect from the three metafunctions and the context in which meaning is